یک حساب رشته برای {LP} | کتابخانه مجازی الفبا

یک حساب رشته برای {LP} | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
یک حساب رشته برای {LP}
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
یک حساب رشته برای {LP}
ویرایش اثر
عنوان دیگر : A Gentzent-type proof system for {LP}
چکیده :
منطق {lp} یک منطق فراسازگار است که از نظر ساختاری و سمنتیکی شباهت زیادی با منطق lp معرفی‌شده توسط گراهام پریست دارد. این منطق در پی مطالعه مدلهای غیرنرمال کارنپ مورد مطالعه قرار گرفته شده است. {lp} برخلاف منطق پریست با استفاده از ماتریس‌های نامعین تعریف می‌شود؛ ابزاری که نقش مهمی در ارائه معناشناسی برای منطق‌های فراسازگار ایفا می‌کند و امکان بررسی گزاره‌های متناقض بدون فروپاشی کل نظام منطقی را فراهم می‌سازد. در این مقاله، ابتدا چارچوب سمنتیکی این منطق معرفی شده و سپس یک سیستم نظریه برهان بر پایه حساب رشته گنتزن برای آن ارائه می‌گردد. نشان داده خواهد شد که این سیستم استنتاجی نسبت به ماتریس نامعین معرفی شده صحیح و تمام است. سپس برخی ویژگی‌های خاص منطق {lp} بررسی می‌شود که تفاوت‌های بارزی نسبت به منطق lp دارد. به طور خاص، رفتار غیرمتعارف عملگر عطف در این منطق مورد بررسی قرار گرفته است، این عملگر به شیوه‌ای کاملا متفاوت از منطق‌های متداول عمل می‌کند، طوری که به سختی نام عطف را به آن می‌توان داد.
نویسنده :
جاوید جعفری
زبان :
فارسی
منبع اصلی :
https://logicalstudy.ihcs.ac.ir/article_10489.html
جنس منبع:
متن
پایگاه :
ذ:پایگاه مجلات (مطالعات فلسفی کلامی- سال 1402- دوره 12- شماره 24)
یادداشت :
منطق‌های فراسازگار ماتریس نامعین حساب رشته نظریه برهان سیستم استنتاجی گنتزن
Paraconsistent logics non-deterministic matrix sequent calculus proof-theory Gentzen-type systems
نوع منبع :
نمایه مقاله
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال